Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
161	Birkbeck, University of London Birkbeck is a world-class research and teaching institution, a vibrant centre of academic excellence and London’s only specialist provider of evening higher education. We encourage applic Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2013-05-07 10:41:01 Cloud computing Birkbeck University of London Data mining Data Database Business intelligence Information Association of Commonwealth Universities Data management Data analysis
162	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
163	CYBERSPACE LAW & POLICY SERIES Subjects taught at UNSW by Centre Associates have their own web pages, such as: The Centre hosts an annual series of Continuing Legal Add to Reading List Source URL: cyberlawcentre.org Language: English - Date: 2010-10-14 04:04:22 UNSW Faculty of Law Legal aspects of computing Arc @ UNSW Limited Privacy Internet privacy Higher education University of New South Wales Cyberspace Law and Policy Centre Ethics
164	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
165	Using Gene Clustering to Identify Discriminatory Genes with Higher Classification Accuracy Zhipeng Cai∗ Department of Computing Science, University of Alberta Edmonton, Alberta T6G 2E8, Canada Email: ert Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2012-08-19 16:00:15 Molecular biology Gene expression Machine learning Statistical classification Gene expression profiling Support vector machine K-nearest neighbor algorithm Centimetre–gram–second system of units DNA microarray Biology Microarrays Statistics
166	‘Moving On’: Is Higher Education for You? A A Add to Reading List Source URL: www.worc.ac.uk Language: English - Date: 2015-05-27 17:27:50 Evaluation Real-time computing Scheduling algorithms Curricula SmartMusic Education Graduate Record Examinations University and college admission
167	Microsoft Word - cs_newsletter_2013Aug_v4 _2_ - TTY Edit.doc Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-15 22:45:41 NUS School of Computing Academia Higher education Cloud computing Geography of Singapore Computing NUS High School of Mathematics and Science University Scholars Programme National University of Singapore Association of Commonwealth Universities Queenstown Singapore
168	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
169	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
170	Hamster™ Pro Duo/CL SecuGen Hamster Pro Duo/CL is suitable for any contactless smart card application where dual factor authentication is needed for higher security without sacrificing convenience. It features the indu Add to Reading List Source URL: www.secugen.com Language: English - Date: 2015-02-13 17:59:40 Access control Identification ISO standards Ubiquitous computing Biometrics Fingerprint recognition Fingerprint Card reader Two-factor authentication Security Fingerprints Computer hardware

UPDATE